Hygienic macro technology
نویسندگان
چکیده
منابع مشابه
Micro Data and Macro Technology;
We study the implications of microeconomic heterogeneity for aggregate technology, showing that the aggregate elasticity of substitution between capital and labor can be expressed as a simple function of plant level structural parameters and sufficient statistics for plant heterogeneity. This allows for a new approach to estimating the aggregate elasticity using microeconomic data and allows us...
متن کاملThe Semantics of Syntax Applying Denotational Semantics to Hygienic Macro Systems
Typically, when semanticists hear the words “Scheme” or “Lisp”, what comes to mind is “untyped lambda calculus plus higher-order state and first-class control”. Given our typical concerns, this seems to be the essence of Scheme: it is a dynamically typed applied lambda calculus that supports mutable data and exposes first-class continuations to the programmer. These features expose a complete c...
متن کاملEndofunctors modelling higher-order behaviours
In this paper we show how the abstract behaviours of higherorder systems can be modelled as final coalgebras of suitable behavioural functors. These functors have the challenging peculiarity to be circularly defined with their own final coalgebra. Our main contribution is a general construction for defining these functors, solving this circularity which is the essence of higher-order behaviours...
متن کاملHygienic Macros for ACL2
ACL2 is a theorem prover for a purely functional subset of Common Lisp. It inherits Common Lisp’s unhygienic macros, which are used pervasively to eliminate repeated syntactic patterns. The lack of hygiene means that macros do not automatically protect their producers or consumers from accidental variable capture. This paper demonstrates how this lack of hygiene interferes with theorem proving....
متن کاملDebugging hygienic macros
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs into a small core language; unlike Lisp systems, Scheme macro expanders preserve lexical scoping, and advanced Scheme macro systems handle other important properties such as source location. Using such macros, Scheme pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3386330